ALADIN[2]

Peter Henderson, about 1970

Formal semantics.

CACM 15(11):967-973 (Nov 1972).